True
4
Execution time: 167.03068828582764 seconds
None
4
Execution time: 67.5100429058075 seconds
None
4
Execution time: 292.06933212280273 seconds
None
1
Execution time: 2122.053372859955 seconds
True
1
[{'condition_action_pairs': [('a', 'A')]}, {'condition_action_pairs': [('a', 'D')]}]
Execution time: 0.027370691299438477 seconds
Satisfiabilty True
Complexity Bound 1
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'A')]}, {'condition_action_pairs': [('a', 'C')]}]
Execution time: 0.017951011657714844 seconds
Satisfiabilty: None
Complexity Bound: 1
Execution time: 7.655306816101074 seconds
Satisfiabilty: None
Complexity Bound: 1
Execution time: 6.075524806976318 seconds
Satisfiabilty: True
Complexity Bound: 1
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'A')]}, {'condition_action_pairs': [('a', 'D')]}]
Execution time: 0.02702927589416504 seconds
Satisfiabilty: True
Complexity Bound: 10
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}, {'condition_action_pairs': [('a', 'C')]}, {'condition_action_pairs': [('a', 'F')]}, {'condition_action_pairs': [('a', 'H')]}, {'condition_action_pairs': [('a', 'L')]}]
Execution time: 12.552577495574951 seconds
Satisfiabilty: True
Complexity Bound: 10
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}, {'condition_action_pairs': [('a', 'D')]}, {'condition_action_pairs': [('a', 'F')]}, {'condition_action_pairs': [('a', 'G')]}, {'condition_action_pairs': [('a', 'L')]}]
Execution time: 12.343378782272339 seconds
Satisfiabilty: True
Complexity Bound: 10
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}, {'condition_action_pairs': [('a', 'C')]}, {'condition_action_pairs': [('a', 'F')]}, {'condition_action_pairs': [('a', 'H')]}, {'condition_action_pairs': [('a', 'L')]}]
Execution time: 13.209381818771362 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'A')]}]
Execution time: 0.16730499267578125 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}]
Execution time: 0.28523969650268555 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}]
Execution time: 0.027086257934570312 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}]
Execution time: 0.03186750411987305 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.11568999290466309 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.08081221580505371 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.07982015609741211 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'A')]}]
Execution time: 0.022942543029785156 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.07977056503295898 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}]
Execution time: 0.30416011810302734 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.06482696533203125 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.11668896675109863 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.13565683364868164 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.15056943893432617 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.16256356239318848 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.1486055850982666 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.07878708839416504 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: []
Execution time: 0.01795649528503418 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.004986286163330078 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.08776664733886719 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.14161038398742676 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.07277631759643555 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.12966275215148926 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.07380390167236328 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.06879115104675293 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.12466883659362793 seconds
Satisfiabilty: False
Complexity Bound: 3
Execution time: 0.0718080997467041 seconds
Satisfiabilty: False
Complexity Bound: 2
Execution time: 0.004957437515258789 seconds
Satisfiabilty: False
Complexity Bound: 2
Execution time: 0.004988431930541992 seconds
Satisfiabilty: True
Complexity Bound: 2
Winning Strategy per agent: [{'condition_action_pairs': [('!a', 'A')]}]
Execution time: 0.03490710258483887 seconds
Satisfiabilty: True
Complexity Bound: 1
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}]
Execution time: 0.02664494514465332 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: [{'condition_action_pairs': [('(a or b)', 'A')]}]
Execution time: 0.026894330978393555 seconds
Satisfiabilty: True
Complexity Bound: 10
Winning Strategy per agent: [{'condition_action_pairs': [('((!a and a) or ((a and a) and b))', 'B')]}]
Execution time: 4.119006395339966 seconds
Satisfiabilty: True
Complexity Bound: 1
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}]
Execution time: 0.026103496551513672 seconds
Satisfiabilty: True
Complexity Bound: 1
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'A')]}]
Execution time: 0.01695537567138672 seconds
Satisfiabilty: True
Complexity Bound: 10
Winning Strategy per agent: [{'condition_action_pairs': [('((((!a and a) or a) or a) or b)', 'A')]}]
Execution time: 4.142193078994751 seconds
Satisfiabilty: True
Complexity Bound: 10
Winning Strategy per agent: [{'condition_action_pairs': [('((!a or ((a and a) and a)) or b)', 'B')]}]
Execution time: 3.8572328090667725 seconds
Satisfiabilty: True
Complexity Bound: 5
Winning Strategy per agent: [{'condition_action_pairs': [('((a and a) or b)', 'B')]}, {'condition_action_pairs': [('((a and a) or b)', 'D')]}, {'condition_action_pairs': [('((a and a) or b)', 'F')]}]
Execution time: 115.76832389831543 seconds
Satisfiabilty: True
Complexity Bound: 1
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}, {'condition_action_pairs': [('a', 'C')]}, {'condition_action_pairs': [('a', 'E')]}]
Execution time: 0.02094411849975586 seconds
Satisfiabilty: True
Complexity Bound: 2
Winning Strategy per agent: [{'condition_action_pairs': [('!a', 'B')]}, {'condition_action_pairs': [('!a', 'D')]}, {'condition_action_pairs': [('!a', 'F')]}]
Execution time: 0.033533334732055664 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: [{'condition_action_pairs': [('(a and b)', 'B')]}, {'condition_action_pairs': [('(a and b)', 'D')]}, {'condition_action_pairs': [('(a and b)', 'E')]}]
Execution time: 0.2544994354248047 seconds
Satisfiabilty: True
Complexity Bound: 4
Winning Strategy per agent: [{'condition_action_pairs': [('(!a and b)', 'B')]}, {'condition_action_pairs': [('(!a and b)', 'D')]}, {'condition_action_pairs': [('(!a and b)', 'F')]}]
Execution time: 0.2586336135864258 seconds
Satisfiabilty: True
Complexity Bound: 6
Winning Strategy per agent: [{'condition_action_pairs': [('((!a or a) or b)', 'A')]}, {'condition_action_pairs': [('((!a or a) or b)', 'C')]}, {'condition_action_pairs': [('((!a or a) or b)', 'E')]}]
Execution time: 92.32914710044861 seconds
Satisfiabilty: True
Complexity Bound: 5
Winning Strategy per agent: [{'condition_action_pairs': [('(a or (a and b))', 'B')]}, {'condition_action_pairs': [('(a or (a and b))', 'D')]}, {'condition_action_pairs': [('(a or (a and b))', 'E')]}]
Execution time: 85.82797241210938 seconds
Satisfiabilty: True
Complexity Bound: 10
Winning Strategy per agent: [{'condition_action_pairs': [('((!a or a) or ((a and a) and b))', 'B')]}]
Execution time: 4.020376920700073 seconds
Satisfiabilty: True
Complexity Bound: 15
Winning Strategy per agent: [{'condition_action_pairs': [('(((((a and a) or a) or a) or (a and a)) or (a and b))', 'A')]}]
Execution time: 2608.005234003067 seconds
Satisfiabilty: True
Complexity Bound: 1
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}, {'condition_action_pairs': [('a', 'D')]}, {'condition_action_pairs': [('a', 'F')]}]
Execution time: 0.017957448959350586 seconds
Satisfiabilty: True
Complexity Bound: 1
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'B')]}]
Execution time: 0.012970447540283203 seconds
Satisfiabilty: True
Complexity Bound: 2
Winning Strategy per agent: [{'condition_action_pairs': [('!a', 'A')]}]
Execution time: 0.016396284103393555 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: [{'condition_action_pairs': [('(a and b)', 'A')]}]
Execution time: 0.016954421997070312 seconds
Satisfiabilty: True
Complexity Bound: 4
Winning Strategy per agent: [{'condition_action_pairs': [('(!a and b)', 'B')]}]
Execution time: 0.025199174880981445 seconds
Satisfiabilty: True
Complexity Bound: 5
Winning Strategy per agent: [{'condition_action_pairs': [('((a and a) or b)', 'B')]}]
Execution time: 0.03989291191101074 seconds
Satisfiabilty: True
Complexity Bound: 6
Winning Strategy per agent: [{'condition_action_pairs': [('((!a and a) or b)', 'B')]}]
Execution time: 0.09873580932617188 seconds
Satisfiabilty: True
Complexity Bound: 7
Winning Strategy per agent: [{'condition_action_pairs': [('(((a and a) and a) and b)', 'B')]}]
Execution time: 0.5004622936248779 seconds
Satisfiabilty: True
Complexity Bound: 8
Winning Strategy per agent: [{'condition_action_pairs': [('(((!a and a) and a) and b)', 'B')]}]
Execution time: 0.47165513038635254 seconds
Satisfiabilty: True
Complexity Bound: 9
Winning Strategy per agent: [{'condition_action_pairs': [('((((a or a) or a) or a) or b)', 'B')]}]
Execution time: 4.152749538421631 seconds
Satisfiabilty: True
Complexity Bound: 10
Winning Strategy per agent: [{'condition_action_pairs': [('(((!a and a) or (a and a)) or b)', 'B')]}]
Execution time: 4.916064023971558 seconds
Satisfiabilty: True
Complexity Bound: 1
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'A')]}, {'condition_action_pairs': [('a', 'D')]}]
Execution time: 0.029443979263305664 seconds
Satisfiabilty: True
Complexity Bound: 2
Winning Strategy per agent: [{'condition_action_pairs': [('!a', 'A')]}, {'condition_action_pairs': [('!a', 'D')]}]
Execution time: 0.033910274505615234 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: [{'condition_action_pairs': [('(a and b)', 'A')]}, {'condition_action_pairs': [('(a and b)', 'D')]}]
Execution time: 0.04402017593383789 seconds
Satisfiabilty: True
Complexity Bound: 4
Winning Strategy per agent: [{'condition_action_pairs': [('(!a and b)', 'B')]}, {'condition_action_pairs': [('(!a and b)', 'C')]}]
Execution time: 0.040993452072143555 seconds
Satisfiabilty: True
Complexity Bound: 5
Winning Strategy per agent: [{'condition_action_pairs': [('((a and a) and b)', 'A')]}, {'condition_action_pairs': [('((a and a) and b)', 'C')]}]
Execution time: 0.25349998474121094 seconds
Satisfiabilty: True
Complexity Bound: 6
Winning Strategy per agent: [{'condition_action_pairs': [('(!a or (a and b))', 'A')]}, {'condition_action_pairs': [('(!a or (a and b))', 'D')]}]
Execution time: 0.33761024475097656 seconds
Satisfiabilty: True
Complexity Bound: 7
Winning Strategy per agent: [{'condition_action_pairs': [('(((a and a) and a) and b)', 'B')]}, {'condition_action_pairs': [('(((a and a) and a) and b)', 'C')]}]
Execution time: 16.007020711898804 seconds
Satisfiabilty: True
Complexity Bound: 8
Winning Strategy per agent: [{'condition_action_pairs': [('(((!a and a) and a) or b)', 'B')]}, {'condition_action_pairs': [('(((!a and a) and a) or b)', 'C')]}]
Execution time: 16.506351232528687 seconds
Satisfiabilty: True
Complexity Bound: 9
Winning Strategy per agent: [{'condition_action_pairs': [('((((a and a) and a) and a) or b)', 'A')]}, {'condition_action_pairs': [('((((a and a) and a) and a) or b)', 'D')]}]
Execution time: 1126.7821764945984 seconds
Satisfiabilty: True
Complexity Bound: 1
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'A')]}, {'condition_action_pairs': [('a', 'C')]}, {'condition_action_pairs': [('a', 'E')]}, {'condition_action_pairs': [('a', 'H')]}]
Execution time: 0.060837745666503906 seconds
Satisfiabilty: True
Complexity Bound: 2
Winning Strategy per agent: [{'condition_action_pairs': [('!a', 'A')]}, {'condition_action_pairs': [('!a', 'C')]}, {'condition_action_pairs': [('!a', 'E')]}, {'condition_action_pairs': [('!a', 'H')]}]
Execution time: 0.06382942199707031 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: [{'condition_action_pairs': [('(a and b)', 'B')]}, {'condition_action_pairs': [('(a and b)', 'C')]}, {'condition_action_pairs': [('(a and b)', 'E')]}, {'condition_action_pairs': [('(a and b)', 'G')]}]
Execution time: 17.239094734191895 seconds
Satisfiabilty: True
Complexity Bound: 4
Winning Strategy per agent: [{'condition_action_pairs': [('(!a and b)', 'A')]}, {'condition_action_pairs': [('(!a and b)', 'D')]}, {'condition_action_pairs': [('(!a and b)', 'F')]}, {'condition_action_pairs': [('(!a and b)', 'H')]}]
Execution time: 21.856545209884644 seconds
Satisfiabilty: True
Complexity Bound: 1
Winning Strategy per agent: [{'condition_action_pairs': [('a', 'A')]}, {'condition_action_pairs': [('a', 'C')]}, {'condition_action_pairs': [('a', 'E')]}, {'condition_action_pairs': [('a', 'H')]}, {'condition_action_pairs': [('a', 'L')]}]
Execution time: 0.338897705078125 seconds
Satisfiabilty: True
Complexity Bound: 2
Winning Strategy per agent: [{'condition_action_pairs': [('!a', 'A')]}, {'condition_action_pairs': [('!a', 'D')]}, {'condition_action_pairs': [('!a', 'F')]}, {'condition_action_pairs': [('!a', 'G')]}, {'condition_action_pairs': [('!a', 'L')]}]
Execution time: 0.5047881603240967 seconds
Satisfiabilty: True
Complexity Bound: 3
Winning Strategy per agent: [{'condition_action_pairs': [('(a and b)', 'A')]}, {'condition_action_pairs': [('(a and b)', 'C')]}, {'condition_action_pairs': [('(a and b)', 'E')]}, {'condition_action_pairs': [('(a and b)', 'G')]}, {'condition_action_pairs': [('(a and b)', 'L')]}]
Execution time: 1209.9288861751556 seconds
Satisfiabilty: True
Complexity Bound: 4
Winning Strategy per agent: [{'condition_action_pairs': [('(!a and b)', 'B')]}, {'condition_action_pairs': [('(!a and b)', 'D')]}, {'condition_action_pairs': [('(!a and b)', 'E')]}, {'condition_action_pairs': [('(!a and b)', 'H')]}, {'condition_action_pairs': [('(!a and b)', 'L')]}]
Execution time: 384.5207076072693 seconds
Satisfiabilty: None
Complexity Bound: 1
Execution time: 2.2309513092041016 seconds
Satisfiabilty: None
Complexity Bound: 2
Execution time: 2.167583465576172 seconds
Satisfiabilty: None
Complexity Bound: 3
Execution time: 60.43882465362549 seconds
Satisfiabilty: None
Complexity Bound: 4
Execution time: 69.72768974304199 seconds
Satisfiabilty: None
Complexity Bound: 1
Execution time: 45.29486083984375 seconds
Satisfiabilty: None
Complexity Bound: 2
Execution time: 50.281895875930786 seconds
Satisfiabilty: None
Complexity Bound: 1
Execution time: 893.7263100147247 seconds
Satisfiabilty: None
Complexity Bound: 2
Execution time: 834.9080607891083 seconds
